餘 monad